机译:使用信念网络(SERENE方法)形式化关键信息系统的可靠性
机译:临界模式下大型系统最优控制问题的形式化
机译:从非正式规格开始,将系统逻辑控制器设计为顺序功能图
机译:从非正式规范中正式指定逻辑控制器的方法
机译:智能微电网控制系统中状态机软件实现的一种形式化方法。
机译:关于为医疗服务提供非正式患者付款的实证研究:对研究方法和手段的系统且严格的审查
机译:一种基于模式的方法,用于完善和规范关键控制系统中的非正式规范
机译:非正式分析模型的形式化和转换为执行REFINE(商标)规范。